Modeling information repositories consistency and auditing through Alloy and CCalc
نویسندگان
چکیده
We present a case study on which a model checking language (Alloy) and a non-monotonic causal language (CCalc) are used for modeling the auditing process of an information repository through a MultiAgents System. Alloy and CCalc are used for identifying inconsistencies and simulating an automatic correction process carried out by intelligent agents supervised by human users. Similarities and strengths of both languages are pointed out.
منابع مشابه
Designing an Intelligence Model for Auditing Professional Ethics in Knowledge Contents Production
One of the main concerns of scholars is the observance of intellectual property rights in the production of knowledge content. Data and knowledge derived from the results of research need to be produced based on ethical issues in order to provide context for solving problems through innovation, scientific accuracy and relevance on the basis of ethical principles. In this research, the intellige...
متن کاملModeling and Validating the Clinical Information Systems Policy Using Alloy
Information systems security defines three properties of information: confidentiality, integrity, and availability. These characteristics remain major concerns throughout the commercial and military industry. In this work, we focus on the integrity aspect of commercial security applications by exploring the nature and scope of the famous integrity policy the Clinical Information Systems Policy....
متن کاملقابلیت نظام‌های اطلاعات بیمارستانی کشور جهت استقرار پزشکی مبتنی بر شواهد
Background and Aim: Evidence Based Medicine (EBM) is the explicit use of current best evidence in making decisions about the care of individual patients. Hospital information system (HIS) can act as a bridge between medical data and medical knowledge through merging of patient's data, individual clinical knowledge and external evidences .The aim of this research was to determine the Capab...
متن کاملThe Impact of Accounting Court Auditors' Specialty on Responsiveness with the Mediating Role of Performance Audit Quality
Auditing is one of the subsystems that assesses the responsiveness for the consumption and utilization of public funds by examining and commenting on the accountability process. The subsystem consists of subsystems such as financial audit, compliance auditing, and performance auditing that help interact with other subsystems to perform and evaluate the process of accountability in a social orga...
متن کاملSome Factors that Influence the Quality of Voluntary Disclosure
The purpose of this study is to investigate the factors affecting the evaluation of the quality of voluntary disclosure, given that the factors used in internal research due to having an external source and focusing on the number of disclosures may not be an appropriate criterion for measuring the quality of information disclosure, so, it is necessary to provide new influencing factors on the e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011